integral of cos^3x